Hindley-Milner 型システム
Hindley–Milner type system
1969年に
J. Roger Hindley
が、1978年に
Robin Milner
が、それぞれ独立に発表した
型システム
多相型付きラムダ計算
ラムダ抽象のみから適切な型を推論できる
パラメトリック多相
論文
The Principal Type-Scheme of an Object in Combinatory Logic
初出、Hindley著
A Theory of Type Polymorphism in Programming
再発見、Milner著
Algorithm Wの提案
Parametric overloading in polymorphic programming languages
Luis Darnas
Robin Milner
1988
この型推論が
完全性
を満たすことを証明
ref
特徴
完全生を満たす
型注釈無しで型推論が可能
参考
Hindley–Milner type system - Wikipedia
#WIP
MLやHaskellの型推論の基礎になっている
Algorithm W
効率の悪い実装
Algorithm J
効率的な実装
https://en.wikipedia.org/wiki/Hindley–Milner_type_system#Algorithm_J
https://otter-o.hatenadiary.org/entry/20080513/1210662856